#include <i386.h>

int main(void) {

	while(1) {
		hlt();
	};
	return 0;
}
